Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
861	Democratizing Data Science Effecting positive social change with data science Sophie Chou∗ William Li∗ Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-08-18 14:48:24 Database management systems Database theory Information technology management Data analysis Emerging technologies Data mining Open data Big data Computer science Data management Technology Formal sciences
862	Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineeri Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-08-21 16:51:10 Systems science Model checkers Theoretical computer science Software quality Logic in computer science Model checking Formal verification PRISM model checker Reliability engineering Systems engineering Science Formal methods
863	Communications and Society Program Bollier THE PROMISE AND PERIL OF BIG DATA Publications Office Add to Reading List Source URL: www.aspeninstitute.org Language: English - Date: 2012-09-01 17:19:46 Formal sciences Database management systems Database theory Emerging technologies David Bollier Big data Data mining Aspen Institute Data analysis Technology Data management Science
864	DDDAS Workshop: WG2 - Mathematical and Statistical Algorithms Craig C. Douglas, George Biros, and many friends More Funding, Less Filing Add to Reading List Source URL: www.dddas.org Language: English - Date: 2006-01-22 19:14:02 Control theory Systems theory Formal sciences Computational science Algorithm Mathematical logic Agent-based model Data mining Kalman filter Science Scientific modeling Statistics
865	HIGH MATURITY ORGANIZATIONAL CHARACTERISTICS High Maturity Is Not A Procrustean Bed Add to Reading List Source URL: www.crosstalkonline.org Language: English - Date: 2014-07-01 15:24:29 Project management Software development process Systems engineering Formal methods Spiral model Agile software development Barry Boehm IBM Rational Unified Process Extreme programming Software development Software project management Software
866	Making Big Data Possible: Evaluating New Ways of Storing Data on a Massive Scale A Storiant-commissioned survey of CIOs April 2014 Add to Reading List Source URL: storiant.com Language: English - Date: 2014-04-28 11:16:29 Formal sciences Database management systems Database theory Business intelligence Extract transform load Big data Data center Cloud storage Analytics Technology Computing Data management
867	REPORT International Workshop Interoperability of Persistent Identifiers Systems Florence, 13 December 2012 http://www.rinascimento-digitale.it/workshopPI2012.phtml (René van Horik & Maurizio Lunghi) Add to Reading List Source URL: www.alliancepermanentaccess.org Language: English - Date: 2014-09-17 20:17:51 Knowledge representation Library science Library 2.0 Information science Technical communication FRBRoo CIDOC Conceptual Reference Model Interoperability Formal ontology Ontology Information Science
868	Microsoft PowerPoint - Ivanov_B4.pptx Add to Reading List Source URL: www.nritsconference.org Language: English Formal sciences Database management systems Data quality Information science Big data Technology Data management Science
869	Proposal to The Andrew W. Mellon Foundation for the Initial Phases of Building ConservationSpace National Gallery of Art Washington, DC[removed] Add to Reading List Source URL: conservationspace.org Language: English - Date: 2013-04-03 15:12:31 Formal methods Methodology Software engineering Software Software requirements Systems engineering process Software development process Software documentation Indianapolis Museum of Art Software development Science Systems engineering
870	Tutorial: Modeling, Verification, and Synthesis of Embedded Control Software Samarjit Chakraborty† ∗ Add to Reading List Source URL: esweek.acm.org Language: English - Date: 2014-08-23 02:06:53 Pharmaceutical industry Validity Systems engineering Simulation software Application software Simulink Verification and validation Model checking Software development process Formal methods Science Software

UPDATE